# this file has 18 nodes, 32 edges
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
1 2
1 3
1 5
5 6
5 7
8 9
8 10
8 5
11 12
11 13
11 8
14 15
14 16
16 13
17 16
18 17
18 15
15 16
15 12
13 10
12 13
12 9
10 7
9 6
4 18
4 17
4 14
3 17
3 7
2 3
2 18
2 6
